Step of Proof: eqff_to_assert 9,38
Inference at * 2 1 
Iof proof for Lemma eqff to assert:



1. (tt)
  tt = ff 
latex
 by RWH bnot_evalC 1 
latex

 1: 

 1: 1. ff
 1:   tt = ff
 .

Definitionsif b then t else f fi , tt, b

origin